- homotopy associativity
- мат.гомотопическая ассоциативность
English-Russian scientific dictionary. 2008.
homotopy associativity
Смотреть что такое "homotopy associativity" в других словарях:
Spectrum (homotopy theory) — In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. There are several different constructions of categories of spectra, all of which give the same homotopy category.Suppose we… … Wikipedia
A∞-operad — In the theory of operads in algebra and algebraic topology, an A∞ operad is a parameter space for a multiplication map that is associative up to all higher homotopies, but not necessarily commutative. (An operad that describes a multiplication… … Wikipedia
Операда — (клон полилинейных операций) семейство множеств с левым действием симметрических групп на соответствующих и с операциями композиции: удовлетворяющими обобщённым тождествам ассоциативности … Википедия
Operad theory — is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already… … Wikipedia
Path (topology) — The points traced by a path from A to B in R². However, different paths can trace the same set of points. In mathematics, a path in a topological space X is a continuous map f from the unit interval I = [0,1] to X f : I → X. The initial… … Wikipedia
Quasigroup — In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that division is always possible. Quasigroups differ from groups mainly in that they need not be associative. A quasigroup with … Wikipedia
Groupoid — dablink|This article is about groupoids in category theory. For the algebraic structure with a single binary operation see magma (algebra). In mathematics, especially in category theory and homotopy theory, a groupoid is a simultaneous… … Wikipedia
Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… … Wikipedia
Isotopy of loops — Isotopy of quasigroups = Let (Q,cdot) and (P,circ) be quasigroups. A quasigroup homotopy from Q to P is a triple (α, β, γ) of maps from Q to P such that :alpha(x)circeta(y) = gamma(xcdot y),for all x , y in Q . A quasigroup homomorphism is just… … Wikipedia
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… … Wikipedia
